Buy Used and New Donald Sannella Books

Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540753339

Format: Paperback (339 pages)
Publisher: Springer
Published: 22 Nov 2007

Save for later

Algebraic System Specification and Development: A Survey and Annotated Bibliography: 501 (Lecture Notes in Computer Science)

by Fernando Orejas,Michel Bidoit,Hans-J??rg Kreowski,Donald Sannella,Pierre Lescanne

ISBN 13: 9783540540601

Format: Paperback (112 pages)
Publisher: Springer
Published: 26 Jun 1991

Save for later

Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers: 332 (Lecture Notes in Computer Science)

by Andrzej Tarlecki,Donald Sannella

ISBN 13: 9783540503255

Format: Paperback (276 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science)

by Donald Sannella,Michael Fourman,Haoran Peng,Philip Wadler

ISBN 13: 9783030769079

Format: Paperback (382 pages)
Publisher: Springer
Published: 30 Sep 2021

Save for later